CatDat

Implication Details

Assumptions: disjoint productsself-dual

Conclusions: disjoint coproducts

Reason: This holds by self-duality.